Time Management Approach on a Discrete Event Manufacturing System Modeled by Petri Net

Authors

  • Abbas Dideban an assistant professor at the Faculty of Electrical and Computer Engineering, Semnan University, Semnan, IRAN
  • Ali A. Orouji associate professor at the Faculty of Electrical and Computer Engineering, Semnan University, Semnan, IRAN
  • Meysam Zareiee PhD student at the Faculty of Electrical and Computer Engineering, Semnan University, Semnan, IRAN
Abstract:

    Discrete event system,   Supervisory control,   Petri Net, Constraint   This paper presents a method to manage the time in a manufacturing system for obtaining an optimized model. The system in this paper is modeled by the timed Petri net and the optimization is performed based on the structural properties of Petri nets. In a system there are some states which are called forbidden states and the system must be avoided from entering them. In Petri nets, this avoidance can be performed by using control places. But in a timed Petri net, using control places may lead to decreasing the speed of systems. This problem will be shown on a manufacturing system. So, a method will be proposed for increasing the speed of the system without using control places .

Upgrade to premium to download articles

Sign up to access the full text

Already have an account?login

similar resources

A Monitoring Approach for Discrete Event Systems Based on a Time Petri Net Model

We develop in this paper a monitoring approach for Discrete Event Systems (DES) starting from a time Petri net model representing the a priori known behavior of such a system. The originality of our approach lies in the combination made of the concept of event observability with the exploitation of the temporal constraints on these events in order to refine the result of the monitoring process....

full text

Observability of discrete event systems modeled by interpreted Petri nets

This paper is concerned with the analysis of the observability of the discrete event systems (DES) modeled by interpreted Petri nets (IPN). This paper presents three major contributions on the field of the observability of DES. First, an observability definition for IPN is proposed. This definition is more precise than previous ones because it deals with the possibility of determining the syste...

full text

Control of Distributed Discrete Event Systems Modeled as Petri Nets

This paper develops a distributed control for forbidden state avoidance for discrete event systems which are mod-eled as Petri nets. We consider a class of Petri nets controlled by multiple local controllers, each of which has partial observation of the system states and limited control to the system. The local controllers interact through a communication channel to achieve a control that ensur...

full text

Petri Net Model Based Implementation of Hierarchical and Distributed Control for Discrete Event Robotic Manufacturing Cells

Manufacturing systems, where the materials which are handled are mainly composed of discrete entities, for example parts that are machined and/or assembled, are called discrete manufacturing systems. The rapid development of industrial techniques makes the manufacturing systems larger and more complex, in which system control is divided into a hierarchy of control levels: planning, scheduling, ...

full text

Sequence of decisions on discrete event systems modeled by Petri nets with structural alternative configurations

The management of certain systems, such as manufacturing facilities, supply chains, or communication networks implies assessing the consequences of decisions, aimed for the most efficient operation. This kind of systems usually shows complex behaviors where subsystems present parallel evolutions and synchronizations. Furthermore, the existence of global objectives for the operation of the syste...

full text

Building reduced petri net models of discrete manufacturing systems

~his paper is concerned with building reduced interpreted Petri net (IPN) modeis of di i rete event systems (DES). It introduces two results. The first one is a new modelling methodology and the second one is the definition of transformation matrices used to obtain equivalent IPX. The modelling methodology ia based on building binary IPN for the aystem &ate variables and deriving a global model...

full text

My Resources

Save resource for easier access later

Save to my library Already added to my library

{@ msg_add @}


Journal title

volume 22  issue 2

pages  115- 121

publication date 2011-06

By following a journal you will be notified via email when a new issue of this journal is published.

Keywords

Hosted on Doprax cloud platform doprax.com

copyright © 2015-2023